University of London - PDFSEARCH.IO - Document Search Engine

University of London
Results: 5106

#	Item
211	PROCUREMENT ENGLAND LIMITED Minutes of Board Meeting No.1 Monday 23rd September 2013 athours Senate House, University of London Present: Marcus McDonald Add to Reading List Source URL: static.uk-plc.net - Date: 2015-08-21 10:43:47
212	A Undecidability of propositional separation logic and its neighbours JAMES BROTHERSTON, University College London and MAX KANOVICH, Queen Mary, University of London In this paper, we investigate the logical structure o Add to Reading List Source URL: www.lsv.ens-cachan.fr - Date: 2014-01-21 06:29:06
213	A Cryptographic Tour of the IPsec Standards Kenneth G. Paterson, Information Security Group, Royal Holloway, University of London, Egham, Surrey, TW20 0EX, UK Add to Reading List Source URL: eprint.iacr.org - Date: 2006-04-18 09:40:43
214	Probing the Compositionality of Intuitive Functions Eric Schulz University College London Add to Reading List Source URL: gershmanlab.webfactional.com - Date: 2016-11-11 10:44:49
215	Embedding Ethical Principles in Collective Decision Support Systems Joshua Greene (Harvard University, USA), Francesca Rossi (University of Padova, Italy and IBM T.J. Watson, USA), John Tasioulas (King’s College London Add to Reading List Source URL: projects.iq.harvard.edu - Date: 2016-09-12 18:52:38
216	Products of Experts Georey E. Hinton Gatsby Computational Neuroscience Unit University College London 17 Queen Square, London WC1N 3AR, U.K. Add to Reading List Source URL: www.cs.toronto.edu - Date: 2002-01-22 14:39:25
217	PRINCIPLES AND PRACTICE OF SESSION TYPES Vasco T. Vasconcelos, University of Lisbon! and! Raymond Hu, Imperial College London A tutorial at POPL! Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2014-01-19 22:47:15
218	Fairness for Infinite-State Systems Byron Cook1 , Heidy Khlaaf1 , and Nir Piterman2 1 University College London, London, UK University of Leicester, Leicester, UK Add to Reading List Source URL: heidyk.com - Date: 2015-02-11 08:32:18
219	On Automation of CTL* Verification for Infinite-State Systems Byron Cook1 , Heidy Khlaaf1 , and Nir Piterman2 1 University College London Add to Reading List Source URL: heidyk.com - Date: 2015-07-24 14:02:44
220	Linear Continuation-Passing ∗ Josh Berdine and Peter O’Hearn ( {berdine, ohearn}@dcs.qmul.ac.uk) Department of Computer Science, Queen Mary, University of London, London E1 4NS, United Kingdom Add to Reading List Source URL: www.cs.bham.ac.uk - Date: 2002-08-05 10:38:10

UPDATE